-
1 формализация
-
2 формализация
формализация
Описание теорий, осмысленных предложений и т.п. формальными средствами, прежде всего символами математики и математической логики (но бывают случаи и такие, что символами оказываются обыкновенные слова, только безукоризненно четко оговоренного содержания). Систему таких символов и правил обращения с ними называют формализмом данной науки. Он помогает производить логические заключения, подсчеты и другие операции непосредственно с символами, формулами, выступающими как бы заместителями тех понятий, которыми мы оперируем. Нередко одна и та же формула применяется для описания разных явлений. Поэтому формализованный язык обязательно требует объяснения (интерпретации).
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > формализация
-
3 формализация
-
4 формализация
-
5 формализация
-
6 формализация
-
7 формализация
Русско-английский словарь по радиоэлектронике > формализация
-
8 формализация
formalization, formalizmРусско-английский словарь по вычислительной технике и программированию > формализация
-
9 формализация
-
10 формализация кривой спроса
Russian-English Dictionary "Microeconomics" > формализация кривой спроса
-
11 формализация
Русско-английский военно-политический словарь > формализация
-
12 формализация
Русско-английский словарь математических терминов > формализация
-
13 формализация
1) General subject: formalisation, formalization2) Mathematics: characterization, formal characterization3) Law: perfection4) EBRD: institutionalisation -
14 формализация в терминах искусственного интеллекта
Information technology: AI formalizationУниверсальный русско-английский словарь > формализация в терминах искусственного интеллекта
-
15 формализация волокна
Textile: formalization of fibreУниверсальный русско-английский словарь > формализация волокна
-
16 формализация входного сообщения
Information technology: input message formalizationУниверсальный русско-английский словарь > формализация входного сообщения
-
17 формализация данных
Information technology: data formalizationУниверсальный русско-английский словарь > формализация данных
-
18 формализация языка
Mathematics: language formalizationУниверсальный русско-английский словарь > формализация языка
-
19 формализация
-
20 формализация задачи
Русско-английский словарь по электронике > формализация задачи
См. также в других словарях:
ФОРМАЛИЗАЦИЯ — (от лат. formalis предпочтение формы) англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории построение логической структуры, посредством к рой все… … Энциклопедия социологии
ФОРМАЛИЗАЦИЯ СОЦИАЛЬНАЯ — англ. formalization, social; нем. Formalisierung, soziale. Целенаправленное формирование стандартных, безличных образцов поведения в правовых, организационных и социокультурных формах. Antinazi. Энциклопедия социологии, 2009 … Энциклопедия социологии
формализация — Описание теорий, осмысленных предложений и т.п. формальными средствами, прежде всего символами математики и математической логики (но бывают случаи и такие, что символами оказываются обыкновенные слова, только безукоризненно четко оговоренного… … Справочник технического переводчика
ФОРМАЛИЗАЦИЯ СОЦИАЛЬНАЯ — англ. formalization, social; нем. Formalisierung, soziale. Целенаправленное формирование стандартных, безличных образцов поведения в правовых, организационных и социокультурных формах … Толковый словарь по социологии
ФОРМАЛИЗАЦИЯ — (от лат. formalis предпочтение формы) англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории построение логической структуры, посредством к рой все… … Толковый словарь по социологии
ФОРМАЛЬНАЯ ТЕОРИЯ И ФОРМАЛИЗАЦИЯ ТЕОРИИ — (formal theory and formalization of theory) представление теоретических суждений в отношении специфического явления с точки зрения совокупности логических и дедуктивно взаимосвязанных пропорций, причем некоторые из суждений рассматриваются как… … Большой толковый социологический словарь
Ф — Фазовая траектория [phase trajectory] Фазовое пространство [phase space] Фазовое состояние системы [phase state of a system] Фазовые координаты [phase coordinates] … Экономико-математический словарь
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия